Preprocessing and Regularization for Degenerate Semidefinite Programs
نویسندگان
چکیده
This paper presents a backward stable preprocessing technique for (nearly) ill-posed semidef5 inite programming, SDP, problems, i.e., programs for which the Slater constraint qualification, 6 existence of strictly feasible points, (nearly) fails. 7 Current popular algorithms for semidefinite programming rely on primal-dual interior-point, 8 p-d i-p methods. These algorithms require the Slater constraint qualification for both the 9 primal and dual problems. This assumption guarantees the existence of Lagrange multipliers, 10 well-posedness of the problem, and stability of algorithms. However, there are many instances 11 of SDPs where the Slater constraint qualification fails or nearly fails. Our backward stable 12 preprocessing technique is based on applying the Borwein-Wolkowicz facial reduction process 13 to find a finite number, k, of rank-revealing orthogonal rotations of the problem. After an 14 appropriate truncation, this results in a smaller, well-posed, nearby problem that satisfies the 15 Robinson constraint qualification, and one that can be solved by standard SDP solvers. The 16 case k = 1 is of particular interest and is characterized by strict complementarity of an auxiliary 17 problem. 18
منابع مشابه
Preprocessing and Reduction for Degenerate Semidefinite Programs
4 This paper presents a backward stable preprocessing technique for (nearly) ill-posed semidef5 inite programming, SDP, problems, i.e., programs for which Slater’s constraint qualification, 6 existence of strictly feasible points, (nearly) fails. 7 Current popular algorithms for semidefinite programming rely on primal-dual interior-point, 8 p-d i-p methods. These algorithms require Slater’s con...
متن کاملPreprocessing sparse semidefinite programs via matrix completion
Considering that preprocessing is an important phase in linear programming, it should be systematically more incorporated in semidefinite programming solvers. The conversion method proposed by the authors (SIAM Journal on Optimization, vol. 11, pp. 647–674, 2000, and Mathematical Programming, Series B, vol. 95, pp. 303–327, 2003) is a preprocessing of sparse semidefinite programs based on matri...
متن کاملExact Regularization of Convex Programs
The regularization of a convex program is exact if all solutions of the regularized problem are also solutions of the original problem for all values of the regularization parameter below some positive threshold. For a general convex program, we show that the regularization is exact if and only if a certain selection problem has a Lagrange multiplier. Moreover, the regularization parameter thre...
متن کاملFatal Degeneracy in the Semidefinite Programming Approach to the Decision of Polynomial Inequalities
In order to verify programs or hybrid systems, one often needs to prove that certain formulas are unsatisfiable. In this paper, we consider conjunctions of polynomial inequalities over the reals. Classical algorithms for deciding these not only have high complexity, but also provide no simple proof of unsatisfiability. Recently, a reduction of this problem to semidefinite programming and numeri...
متن کاملExact algorithms for semidefinite programs with degenerate feasible set
Let A0, . . . , An be m × m symmetric matrices with entries in Q, and let A(x) be the linear pencil A0 + x1A1 + · · · + xnAn, where x = (x1, . . . , xn) are unknowns. The linear matrix inequality (LMI) A(x) 0 defines the subset of Rn, called spectrahedron, containing all points x such that A(x) has non-negative eigenvalues. The minimization of linear functions over spectrahedra is called semide...
متن کامل